Other Changes

(enforcepredicate value) procedure
$\Longrightarrow$ value

enforce returns value which must answer true to predicate. enforce is used to ensure that value is of type predicate. If enforce signals an error and enters a breakpoint, then a new value can be returned using ret. For example,

formula vobeyspaces :

!:} > (let ((a (enforce fixnum? 'a))) (+ a 1)) ** Error: (ENFORCE FIXNUM? A) failed in (anonymous) » (ret 1) 2 >

(generate-symbolprefix) procedure
$\Longrightarrow$ symbol

generate-symbol now ensures that the symbol returned is unique, in the sense that it was not previously interned interned , during the current session. Note, however, that symbols generated using generate-symbol which are written to a file during one session and then read during another session are not guaranteed to be unique.

ˆ has been removed.

## replaces tex2html_wrap_inline$^*$ tex2html_wrap_inline$^*$ .

++ has been removed.